(set-logic QF_LRA)
(declare-fun r11 () Real)
(check-sat)
(check-sat)
(assert (> r11 0.0))
(push 1)
(assert (> 0.0 r11))
(check-sat)
